F. Masacci; "Strongly analytic tableaux for normal modal logics"